c formula generated with seed 5, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 4, 6, 8, 11, 12, 15, 16, 19, 20, 21, 25, 30, 31, 32, 33, 36, 39, 41, 44, 47, 48, 52, 58, 59, 60, 62, 68, 71, 72, 73, 74, 75, 76, 77, 78, 79, 82, 83, 85, 86, 90, 91, 92, 93, 96, 97, 100, 102, 104, 105, 108, 109, 111, 114, 115, 119, 122, 123, 125, 127, 130, 132, 135, 136, 137, 143, 145, 147, 152, 156, 157, 158, 161, 163, 164, 165, 166, 168, 170, 174, 175, 176, 177, 180, 183, 184, 185, 187, 189, 190, 191, 193, 195, 196, 200, 201, 202, 204, 206, 207, 208, 209, 210, 215, 217, 219, 220, 222, 223, 224, 225, 226, 228, 229, 232, 233, 235, 236, 237, 240, 242, 245, 246, 247, 248, 249, 250, 254, 257, 258, 260, 261, 263, 264, 266, 268, 269, 270, 271, 272, 274, 276, 277, 279, 280, 281, 282, 285, 287, 288, 290, 292, 296, 298, 299, 302, 305, 308, 309, 311, 312, 313, 314, 316, 317, 319, 323, 324, 325, 326, 327, 329, 330, 331, 332, 336, 343, 344, 349, 352, 353, 355, 356, 357, 363, 365, 366, 367, 368, 369, 371, 373, 375, 379, 381, 384, 387, 388, 389, 392, 394, 398, 399, 400, 401, 402, 403, 404, 405, 408, 409, 410, 411, 414, 421, 422, 423, 424, 425, 426, 428, 429, 430, 432, 434, 438, 439, 442, 443, 444, 447, 448, 450, 462, 468, 469, 471, 472, 474, 475, 480, 484, 485, 487, 489, 490, 491, 492, 497, 499, 500, 504, 505, 507, 508, 510, 512, 513, 514, 516, 518, 520, 521, 525, 526, 527, 529, 530, 531, 532, 533, 534, 538, 540, 541, 542, 543, 547, 549, 550, 551, 554, 555, 556, 557, 560, 561, 562, 564, 567, 569, 573, 575, 578, 580, 585, 587, 588, 590, 592, 593, 596, 597, 598}
p cnf 600 2646
96 -231 -417 0
-555 279 -353 0
-327 47 -430 0
-303 100 487 0
515 -426 263 0
194 135 178 0
216 -5 81 0
453 258 370 0
-585 319 -411 0
428 474 375 0
259 -151 -326 0
-128 -541 -326 0
593 -207 503 0
-483 -100 -387 0
378 98 316 0
-476 208 122 0
66 -127 -419 0
106 549 -533 0
-405 -352 -57 0
113 406 -417 0
402 -316 53 0
-34 -302 553 0
565 396 -216 0
-564 -297 586 0
-452 323 -192 0
-191 -225 196 0
160 -334 -181 0
303 39 312 0
-560 -596 -154 0
559 -75 527 0
-325 -123 246 0
562 -362 419 0
170 101 339 0
-159 -18 -449 0
-148 358 -290 0
348 423 -357 0
356 -116 97 0
16 161 -328 0
208 -116 439 0
-234 -130 406 0
549 466 213 0
-34 -204 138 0
-83 33 -468 0
271 -181 -160 0
564 -291 538 0
-367 -534 290 0
-254 -480 533 0
187 78 -88 0
391 -139 -272 0
-98 2 -429 0
347 467 16 0
413 503 -129 0
-94 -116 6 0
87 213 -354 0
251 503 -483 0
516 -395 93 0
402 104 409 0
-35 -589 509 0
-556 226 -287 0
-186 -444 -73 0
-596 13 -476 0
-333 393 -312 0
-522 -402 118 0
290 -473 -545 0
125 -478 -333 0
-89 -522 127 0
112 2 59 0
-16 -57 -414 0
-548 115 -301 0
471 -85 106 0
147 -241 205 0
505 442 -35 0
-337 546 -442 0
-413 -568 -419 0
-378 445 537 0
555 -493 485 0
569 -376 -38 0
188 40 -133 0
-427 245 36 0
546 140 319 0
422 -600 25 0
232 -398 -475 0
2 104 23 0
-41 404 -177 0
104 -526 570 0
-551 348 111 0
103 -172 -210 0
-156 -301 -550 0
-70 535 -265 0
316 484 228 0
-209 296 182 0
-527 -134 481 0
175 -501 -10 0
9 -47 -502 0
22 590 478 0
216 -395 -36 0
-248 388 -561 0
-502 111 -94 0
-427 -598 -157 0
408 557 -328 0
26 532 -280 0
-543 473 16 0
406 370 -297 0
-482 -425 -235 0
-323 -452 -500 0
242 178 -329 0
414 280 -537 0
-10 79 143 0
-168 -144 415 0
68 -541 576 0
-411 461 119 0
-57 162 -564 0
-459 414 356 0
-182 -227 343 0
101 -207 -456 0
-153 -530 66 0
-27 513 32 0
-13 337 -218 0
-360 151 464 0
-265 202 -80 0
513 -117 147 0
590 440 566 0
521 -213 -480 0
507 -161 300 0
-297 -180 453 0
-512 -399 145 0
322 100 -279 0
232 -416 -548 0
422 109 114 0
251 -196 394 0
333 -14 23 0
450 -110 268 0
241 -273 -399 0
329 8 -89 0
-227 453 370 0
158 -122 -394 0
-262 391 568 0
-441 -209 539 0
-405 -369 562 0
500 88 -266 0
-299 32 278 0
224 207 -220 0
549 185 497 0
25 387 -346 0
53 581 -18 0
-388 -81 -52 0
302 169 -542 0
-524 298 296 0
255 -414 285 0
118 -518 -146 0
-377 169 -401 0
-434 416 -211 0
566 -159 -102 0
489 449 -208 0
-176 519 -577 0
-231 252 -438 0
-320 -300 -350 0
-144 470 9 0
89 -187 257 0
503 -75 82 0
407 195 455 0
192 46 -536 0
-468 -185 -535 0
-429 443 511 0
-158 -566 496 0
-59 -222 -112 0
-433 154 188 0
8 196 -121 0
568 -531 92 0
-219 556 218 0
-301 -481 -42 0
-534 101 219 0
133 -399 313 0
-198 266 288 0
221 414 -507 0
15 -312 129 0
298 -433 -265 0
220 346 550 0
-89 -569 239 0
505 481 -29 0
-474 311 141 0
162 -488 -33 0
456 161 218 0
-504 -243 56 0
-495 -147 -102 0
547 -303 556 0
489 -57 -70 0
81 -427 -25 0
-13 -499 -40 0
242 271 -333 0
-156 -9 -292 0
115 -27 -45 0
-82 -345 -421 0
-317 282 552 0
-400 -328 -485 0
216 -81 -422 0
216 -350 380 0
100 11 -370 0
391 -107 -36 0
-125 496 -351 0
427 62 -430 0
-117 600 559 0
33 -114 52 0
321 280 -268 0
572 -114 -101 0
-17 -400 -423 0
-92 329 478 0
311 405 542 0
-4 -347 -92 0
-273 -55 -135 0
-513 394 55 0
-407 -350 588 0
163 -193 351 0
27 275 -307 0
-308 88 -340 0
-196 -385 -119 0
-486 -4 -174 0
172 -114 175 0
356 260 189 0
-284 148 -161 0
498 550 17 0
-523 -26 36 0
375 -74 -400 0
-423 -474 432 0
174 264 248 0
-213 196 317 0
-376 -89 327 0
306 -479 66 0
-169 162 -487 0
-175 396 -144 0
303 -392 260 0
413 205 329 0
-496 -499 -587 0
182 -361 -317 0
-110 -235 448 0
-47 230 560 0
-383 27 -598 0
-483 -402 -298 0
-586 408 569 0
68 312 -350 0
-528 -132 -92 0
508 33 -461 0
-116 -552 -559 0
91 -377 388 0
398 184 487 0
-461 532 344 0
-369 422 500 0
490 -324 584 0
384 -264 515 0
280 60 401 0
288 565 216 0
396 412 145 0
493 -151 -448 0
138 226 -305 0
-383 205 -424 0
-594 219 527 0
367 343 6 0
-80 251 -580 0
75 301 455 0
-92 421 -242 0
570 -38 -505 0
78 165 588 0
-190 -378 -236 0
-588 -277 137 0
-109 -169 -398 0
187 47 356 0
583 124 -396 0
-375 106 -579 0
-163 -187 404 0
-286 -418 407 0
-558 398 135 0
-96 -317 196 0
-236 -346 291 0
338 -544 -555 0
-440 -462 -219 0
-519 580 557 0
-186 -35 -406 0
-543 221 352 0
-89 -497 -375 0
282 -536 247 0
-563 22 -410 0
573 -406 74 0
287 162 121 0
393 560 -472 0
254 -479 50 0
-517 -39 -242 0
-243 553 496 0
-340 444 41 0
139 133 15 0
225 91 -253 0
78 543 -7 0
-219 -468 -464 0
205 -185 -172 0
-173 243 -130 0
439 -304 471 0
514 297 199 0
171 -446 415 0
-259 152 520 0
-90 56 -64 0
-450 -125 -478 0
-146 176 92 0
-102 192 264 0
-313 90 293 0
324 281 356 0
-10 -94 363 0
293 132 -217 0
277 597 -49 0
-53 -92 284 0
-284 5 3 0
123 -343 391 0
411 -325 476 0
535 412 555 0
119 -3 136 0
-576 -449 -342 0
586 149 62 0
-377 -151 -461 0
548 261 14 0
-321 187 512 0
-78 -93 -262 0
124 -79 122 0
-7 239 90 0
-209 567 -287 0
-181 -41 304 0
-264 513 -323 0
-202 48 -559 0
396 62 -280 0
23 -137 -501 0
303 -142 345 0
-53 117 -272 0
462 -566 425 0
59 -378 210 0
143 66 536 0
-316 209 120 0
-23 384 109 0
-481 81 -276 0
-100 125 -492 0
65 -292 -133 0
-570 -467 531 0
576 78 559 0
243 -308 -98 0
-270 -113 498 0
593 -225 -499 0
-403 -395 291 0
464 369 259 0
-444 -466 -4 0
-578 291 -568 0
-179 -32 -285 0
382 126 233 0
-563 278 321 0
216 564 -365 0
-539 -177 -156 0
-559 -518 -215 0
220 -42 -284 0
418 540 511 0
120 -20 147 0
-189 410 106 0
211 196 -264 0
106 -57 -534 0
-78 -310 103 0
296 -399 382 0
-188 88 -29 0
-206 -119 -26 0
60 327 -81 0
324 39 -333 0
-310 -307 -300 0
235 200 356 0
216 -325 439 0
478 -164 590 0
337 -581 241 0
-146 -34 -28 0
422 -517 -142 0
566 207 28 0
-171 -188 366 0
424 588 287 0
503 -48 597 0
-599 -469 -331 0
-358 436 -408 0
-413 268 -374 0
393 494 516 0
-432 493 -129 0
175 525 -146 0
-66 -100 581 0
309 240 390 0
-53 -255 489 0
-393 -532 558 0
597 -525 -555 0
209 -537 263 0
-455 403 -328 0
142 577 264 0
-343 65 -465 0
374 190 -183 0
-406 191 -347 0
473 -469 -328 0
379 -12 -392 0
279 127 446 0
123 546 231 0
228 594 -86 0
-357 -142 -258 0
-128 -146 -555 0
-519 -364 -169 0
315 85 46 0
-384 517 344 0
600 101 -345 0
332 312 308 0
-584 309 210 0
391 -202 247 0
455 -571 -58 0
469 254 -565 0
-320 281 -128 0
-9 -436 529 0
-436 512 -359 0
-126 55 -513 0
-439 -295 522 0
-422 123 -246 0
528 -522 173 0
442 498 -1 0
235 210 -140 0
286 214 -457 0
579 -19 261 0
-143 -201 -406 0
6 33 68 0
-83 -273 -499 0
136 469 410 0
-116 -373 252 0
422 -159 -546 0
-145 175 -273 0
-239 -65 -162 0
-24 -311 -261 0
-391 -123 -261 0
-103 165 -496 0
238 -82 -361 0
-574 247 332 0
4 -498 -23 0
-248 -354 376 0
-393 565 441 0
476 336 493 0
388 -154 551 0
19 295 -352 0
-423 52 -497 0
-392 144 -10 0
-24 363 215 0
-120 -196 43 0
-339 422 421 0
432 113 160 0
-97 307 444 0
400 175 -153 0
-171 -321 556 0
330 -83 -526 0
484 -331 413 0
-88 -230 -539 0
-577 510 -40 0
-594 560 392 0
-120 53 -6 0
-211 -186 311 0
-231 98 -375 0
-152 -377 -525 0
7 -313 -295 0
362 -112 194 0
-244 -77 -516 0
229 -351 -43 0
65 -265 -47 0
-89 -170 -590 0
241 62 -525 0
-556 -62 11 0
367 -197 353 0
532 -463 -310 0
-33 -92 175 0
-475 -504 -211 0
378 -80 -323 0
18 431 593 0
-53 189 39 0
-260 -140 -504 0
247 -587 -299 0
-215 115 -550 0
-139 395 320 0
511 7 513 0
208 -232 291 0
-456 -549 294 0
272 -117 40 0
357 16 -142 0
136 383 -353 0
-325 -599 -538 0
398 -338 -528 0
117 400 -30 0
-13 71 490 0
-23 -223 -76 0
145 -518 403 0
-31 552 -361 0
526 -149 492 0
576 375 -79 0
499 505 588 0
-541 -100 -17 0
57 123 218 0
-504 411 26 0
139 360 -433 0
-442 -538 147 0
325 -546 232 0
517 398 -215 0
301 349 7 0
-547 61 240 0
106 72 566 0
-36 277 -215 0
-393 -519 550 0
-78 -507 -458 0
493 -259 -213 0
-117 -302 436 0
408 -63 -42 0
-26 -264 -561 0
282 413 -31 0
518 -16 -485 0
-430 -413 -74 0
187 -69 165 0
77 369 248 0
-260 -455 262 0
-1 558 -10 0
-306 -530 446 0
-250 -447 137 0
208 -512 -531 0
-200 -255 -279 0
205 102 -31 0
473 271 -296 0
400 -304 41 0
308 -347 560 0
211 -47 -351 0
-516 -311 250 0
163 506 457 0
252 518 -540 0
-170 -221 -485 0
243 183 -517 0
-509 -20 -490 0
310 61 -5 0
429 591 479 0
77 128 -71 0
-22 90 -40 0
-101 -126 -584 0
-501 -467 512 0
322 104 -220 0
7 -150 -369 0
-286 154 -21 0
-66 166 -455 0
114 184 136 0
67 489 -200 0
11 508 108 0
532 320 -444 0
192 118 -337 0
-342 129 -127 0
-219 157 467 0
215 -218 323 0
-163 -238 234 0
-519 -410 42 0
-11 -125 -66 0
-177 93 43 0
270 590 -268 0
460 -81 -125 0
290 582 -497 0
-76 -60 270 0
254 -474 494 0
-40 591 -75 0
23 -144 126 0
-408 -291 -371 0
453 -127 -372 0
246 -291 530 0
-307 -150 -87 0
-317 534 359 0
-410 566 430 0
552 481 -37 0
65 -596 375 0
-18 354 -183 0
92 -247 -434 0
-416 -474 466 0
-144 104 569 0
195 -46 -289 0
281 354 341 0
-447 600 -29 0
247 -364 -372 0
-84 -225 221 0
520 275 -499 0
527 -238 76 0
-231 -475 -215 0
-322 -378 369 0
573 -134 -259 0
75 -179 -364 0
-349 503 -539 0
-403 -165 39 0
380 80 41 0
312 -362 -464 0
28 456 -255 0
-400 141 145 0
-323 -411 274 0
-308 264 -203 0
-87 233 -301 0
-135 -283 251 0
78 -109 -366 0
573 365 -326 0
-414 -357 -539 0
199 -258 -89 0
571 -42 95 0
557 -192 -600 0
421 -12 -569 0
-360 350 -77 0
340 596 517 0
-276 -525 -131 0
-20 546 111 0
305 127 302 0
197 266 -108 0
355 -85 318 0
-446 -389 -589 0
212 427 -218 0
-505 527 -139 0
-111 -9 -187 0
-236 -483 -505 0
159 304 -34 0
-355 293 207 0
-341 192 486 0
445 110 -101 0
334 420 -456 0
331 75 475 0
461 -347 -244 0
-54 -188 -477 0
-43 -51 -345 0
378 482 403 0
-78 534 149 0
469 -546 -345 0
-441 212 126 0
-192 -87 -350 0
-67 470 151 0
164 194 255 0
327 275 546 0
-83 -179 -189 0
-175 442 -123 0
77 434 308 0
-167 -219 81 0
283 -119 -218 0
-570 -310 48 0
430 540 325 0
589 -123 -234 0
-457 -327 -434 0
131 536 -420 0
402 -508 454 0
-509 101 337 0
313 -582 -589 0
-127 -35 -270 0
410 403 -89 0
-40 -245 307 0
-517 -534 -239 0
-343 -226 -295 0
540 -346 -600 0
-469 -141 391 0
-186 142 320 0
500 228 190 0
56 140 170 0
-362 568 395 0
480 -232 -384 0
-398 -412 -174 0
-370 -359 554 0
514 -554 38 0
308 -456 -310 0
-12 -599 359 0
-194 109 59 0
297 -257 276 0
-523 -584 -495 0
578 475 292 0
-243 -474 -86 0
-436 68 143 0
-49 296 36 0
153 -198 470 0
-497 75 -353 0
387 -148 434 0
-526 -311 -3 0
-34 504 -524 0
-358 -296 -285 0
355 -149 514 0
-472 338 -182 0
-189 587 -384 0
-199 75 -5 0
162 69 -51 0
-579 -297 -496 0
-157 246 84 0
62 -156 345 0
-455 190 257 0
277 -387 418 0
-350 126 -163 0
454 250 506 0
-370 19 -358 0
-333 481 -266 0
-71 583 -582 0
-306 438 -351 0
-131 94 107 0
232 166 -138 0
84 446 593 0
116 -255 341 0
-431 483 -324 0
225 -569 420 0
-468 150 -488 0
-354 430 274 0
-164 -79 158 0
290 400 -50 0
333 -437 293 0
31 -96 -305 0
569 -597 -423 0
-567 130 495 0
477 226 535 0
167 -333 295 0
-393 480 -453 0
253 10 490 0
498 177 -573 0
410 299 -385 0
-139 547 -551 0
177 -23 79 0
174 1 -226 0
-17 62 201 0
403 -291 -544 0
-399 -332 242 0
134 516 582 0
-100 141 290 0
-25 258 120 0
-383 214 372 0
579 46 371 0
234 144 -37 0
-265 -402 194 0
261 7 506 0
-520 546 31 0
523 257 -16 0
268 497 -509 0
546 -354 3 0
-225 -159 535 0
159 210 -91 0
6 -322 -7 0
597 -385 -415 0
507 -182 325 0
231 114 -227 0
358 323 -92 0
406 276 278 0
-56 394 224 0
-378 466 413 0
436 76 17 0
-14 253 -114 0
-215 565 325 0
416 241 170 0
-561 -56 335 0
12 -33 318 0
53 -340 -549 0
-91 -383 -248 0
225 -386 226 0
-349 -112 -389 0
-386 -252 -179 0
-35 121 -108 0
190 -537 -167 0
-558 -187 -556 0
471 478 172 0
71 -2 228 0
-600 -445 -574 0
-264 -537 348 0
-107 -361 39 0
-146 223 554 0
236 507 -515 0
-197 -63 115 0
190 551 254 0
-480 -299 550 0
-126 -217 -105 0
-143 -461 577 0
-222 -174 -486 0
-96 348 -231 0
267 -537 -1 0
-524 -583 -186 0
133 -526 -301 0
-598 79 -475 0
280 58 -65 0
281 600 129 0
110 -29 -21 0
498 -152 330 0
264 67 -532 0
228 -497 -59 0
-600 -403 -53 0
417 340 475 0
482 179 -574 0
54 424 -551 0
463 65 279 0
553 165 -185 0
371 397 582 0
553 -164 -120 0
47 547 269 0
-319 -180 -449 0
-531 487 236 0
311 257 -600 0
205 -334 364 0
-55 11 -116 0
-519 -163 452 0
-543 -439 105 0
537 -348 -285 0
-474 345 -307 0
495 -361 -281 0
295 -385 391 0
-36 398 -206 0
-317 64 475 0
-424 -486 -430 0
564 579 -380 0
181 195 -317 0
-407 -464 593 0
89 -140 455 0
-59 149 281 0
-231 -334 564 0
378 -268 78 0
-531 -404 -396 0
514 -127 -16 0
171 -292 543 0
584 -522 7 0
-479 327 -13 0
-225 349 -245 0
-574 -450 -597 0
230 -57 -356 0
554 160 -33 0
-439 -561 507 0
-137 284 -515 0
-290 -375 -577 0
24 -264 -334 0
476 242 413 0
284 -595 539 0
-259 -417 550 0
580 552 594 0
227 354 560 0
99 -276 -110 0
-45 -441 170 0
436 -326 -10 0
270 -453 468 0
-482 -233 350 0
-456 -397 564 0
130 209 423 0
-451 219 442 0
-494 36 -382 0
-522 49 -268 0
277 -383 147 0
-61 -492 -313 0
465 -158 -65 0
-173 408 -591 0
392 399 -582 0
256 -427 506 0
-544 477 322 0
56 -185 432 0
199 -22 456 0
303 -280 394 0
234 -83 -149 0
401 568 -542 0
-497 -26 280 0
-6 -306 275 0
72 -356 -105 0
189 -482 -466 0
-309 175 436 0
-15 -326 324 0
539 -361 553 0
485 20 290 0
86 135 -502 0
-596 -271 542 0
-373 111 198 0
321 160 -458 0
444 512 -227 0
-300 228 -207 0
-431 -23 288 0
-93 327 -207 0
598 593 -154 0
-220 -179 595 0
-275 -508 -547 0
352 -215 346 0
-573 47 -470 0
-261 145 467 0
484 475 -339 0
-37 -130 544 0
-480 -587 368 0
-202 -91 -10 0
-97 267 183 0
72 204 -382 0
291 491 262 0
39 31 321 0
23 -203 -290 0
-55 -64 -179 0
-233 -351 -521 0
-268 80 232 0
-38 541 298 0
-142 -64 202 0
277 14 465 0
-427 -150 207 0
-106 335 241 0
-59 174 -554 0
-557 -203 -298 0
-508 -326 -511 0
-391 68 -535 0
482 534 -423 0
-518 278 75 0
-470 213 -293 0
-344 -398 -43 0
412 284 508 0
578 -114 334 0
155 -124 455 0
-360 -158 -598 0
1 55 -208 0
582 -47 373 0
-216 104 -482 0
84 -455 216 0
-328 -21 -560 0
-423 568 -354 0
529 -254 301 0
537 544 224 0
289 -476 558 0
8 7 -44 0
236 527 -46 0
104 -230 -395 0
126 -547 -572 0
307 -137 -51 0
123 -478 -418 0
474 -401 467 0
367 453 -388 0
-188 54 43 0
-282 203 -440 0
54 -528 -547 0
-443 -563 360 0
267 385 195 0
-555 317 454 0
501 446 -45 0
-219 -315 241 0
-397 -299 -157 0
-32 55 -519 0
-160 -314 545 0
470 445 -13 0
81 69 -162 0
-476 166 -473 0
216 -539 420 0
453 -394 92 0
-2 52 507 0
-365 -583 -201 0
-293 -151 302 0
-119 -351 -137 0
98 -15 -459 0
-499 -157 -463 0
469 -386 -99 0
93 43 -581 0
-417 -431 -575 0
266 402 39 0
594 324 -384 0
-152 -424 -347 0
110 12 278 0
-324 435 -463 0
-367 -57 -343 0
-24 -242 328 0
-590 -453 -52 0
-106 -347 326 0
-197 347 453 0
396 -239 -72 0
402 381 -241 0
361 -508 521 0
-60 32 -276 0
229 343 -141 0
-24 -347 -473 0
-244 -273 260 0
-436 112 293 0
318 -24 -25 0
-284 -502 -391 0
151 -89 -250 0
52 -280 -490 0
500 277 593 0
-279 168 457 0
-470 -570 299 0
385 -82 248 0
109 -335 202 0
-389 312 341 0
-152 113 96 0
254 -440 -570 0
559 -364 297 0
-520 -205 -232 0
-166 -336 245 0
428 290 -493 0
-471 135 -82 0
339 -226 -230 0
-147 193 -409 0
-591 423 122 0
25 506 419 0
550 235 -456 0
155 -497 -420 0
217 -284 -265 0
-210 -25 562 0
-363 -474 143 0
391 99 555 0
189 341 553 0
-472 44 -585 0
-585 -433 377 0
-534 -548 -249 0
242 59 471 0
-549 68 -520 0
255 386 166 0
-326 50 -153 0
202 -283 330 0
392 235 556 0
251 22 514 0
-374 -570 47 0
-324 209 49 0
-131 316 371 0
207 35 -288 0
356 598 562 0
-132 -274 540 0
-65 188 159 0
-340 236 373 0
582 483 247 0
-507 184 -167 0
98 -461 -166 0
553 234 -395 0
-8 -544 -224 0
341 -598 217 0
-337 -145 -344 0
-6 -99 -163 0
-306 -282 436 0
409 200 368 0
13 138 516 0
-584 -105 -254 0
300 -185 392 0
130 -110 86 0
-162 -13 394 0
150 432 -210 0
-414 282 -411 0
-299 148 557 0
226 -574 -7 0
262 432 340 0
-137 -381 -43 0
-369 -377 -225 0
-491 -560 170 0
346 21 -373 0
-402 347 -522 0
456 -478 -392 0
-354 215 317 0
50 561 273 0
111 -398 -24 0
-461 570 227 0
-13 95 -434 0
-458 150 -278 0
-372 298 447 0
-186 76 224 0
164 -511 92 0
-239 -508 37 0
-230 185 472 0
-560 216 114 0
330 -510 -78 0
301 197 269 0
175 -134 597 0
-327 453 11 0
286 -182 172 0
100 342 457 0
-22 -10 371 0
-207 271 333 0
265 -280 508 0
-306 71 -201 0
352 241 -365 0
-229 362 -457 0
255 -332 -440 0
-465 -70 389 0
315 -142 -156 0
-554 136 -448 0
94 284 -27 0
294 322 189 0
527 175 248 0
133 365 -8 0
-227 -349 254 0
205 -105 193 0
354 -302 -203 0
-396 -203 143 0
-594 175 -283 0
250 22 545 0
-581 -129 -80 0
66 105 -428 0
159 -288 -153 0
-295 289 -542 0
223 -294 402 0
-51 259 -191 0
-180 104 284 0
-114 437 166 0
127 -416 -503 0
9 236 107 0
-455 -470 -406 0
-117 -402 -497 0
471 459 153 0
-322 165 20 0
315 -505 -2 0
550 -122 454 0
-423 13 185 0
-146 -499 -143 0
72 388 269 0
-101 268 -338 0
61 -345 233 0
266 -185 -329 0
-334 -566 30 0
16 -6 -443 0
-324 596 212 0
-502 -3 573 0
113 314 -170 0
529 248 -128 0
229 -340 353 0
-1 -599 382 0
-506 322 455 0
-64 -96 -73 0
-532 -16 555 0
-595 556 -300 0
415 237 160 0
209 308 -591 0
226 62 303 0
501 -489 -255 0
-101 522 -288 0
-98 -201 -326 0
-596 -204 -70 0
-94 -68 297 0
-463 -371 -29 0
-122 491 463 0
312 -262 189 0
266 193 -23 0
351 -360 -75 0
291 -293 124 0
21 66 38 0
257 235 580 0
512 -423 -1 0
-130 -7 -434 0
-456 -416 518 0
370 -18 545 0
109 -426 9 0
-306 -501 -520 0
517 248 350 0
232 229 -507 0
-422 -221 -19 0
-562 48 -36 0
329 -586 -455 0
436 155 411 0
125 -544 387 0
6 259 -349 0
52 32 260 0
303 135 -33 0
-254 -450 190 0
210 135 -120 0
-502 4 434 0
-228 -149 160 0
270 396 418 0
265 96 254 0
570 -599 -105 0
410 -183 -534 0
-446 430 -437 0
460 -372 211 0
-34 -462 -331 0
-257 -273 149 0
-566 194 248 0
-175 -80 234 0
285 -549 -174 0
-231 375 -35 0
-114 465 137 0
-455 -443 -193 0
-35 276 588 0
276 -521 110 0
-520 -392 185 0
471 -290 -389 0
-51 561 -301 0
-212 84 283 0
56 -592 491 0
268 450 462 0
365 -558 327 0
473 65 -478 0
197 415 152 0
308 167 -499 0
-598 -344 388 0
557 324 240 0
583 567 70 0
-393 115 593 0
308 -398 599 0
568 490 337 0
249 458 5 0
566 305 -405 0
556 -124 471 0
-383 -498 -35 0
-535 389 434 0
257 537 221 0
-411 -495 -41 0
583 224 -538 0
-488 -445 -55 0
-280 -321 -490 0
326 -226 524 0
-320 -277 -327 0
560 -136 -288 0
-398 -379 -286 0
298 -429 -538 0
27 -33 -51 0
-289 365 -574 0
503 417 -28 0
-484 190 304 0
198 78 244 0
60 -503 -2 0
435 -141 -209 0
-27 533 41 0
-348 -88 588 0
220 -257 376 0
-264 -475 -571 0
-128 288 379 0
38 463 -10 0
-81 255 -514 0
-352 -495 45 0
297 -179 129 0
-385 -433 -142 0
-466 208 -37 0
59 529 47 0
-464 -495 520 0
-418 -478 -106 0
-542 531 -439 0
-181 177 510 0
-303 -577 -252 0
-5 306 -543 0
-372 -211 220 0
251 -375 -162 0
270 213 403 0
484 109 -495 0
404 -448 -555 0
149 -196 -173 0
385 -105 -559 0
93 173 -430 0
-529 -236 -449 0
181 151 -545 0
3 -227 -371 0
-309 456 505 0
575 -579 73 0
87 -265 -276 0
317 -486 -467 0
4 140 -135 0
451 154 25 0
136 501 130 0
-84 -311 -419 0
-12 -144 -228 0
-158 174 348 0
-141 -131 -267 0
-332 -252 420 0
-5 -471 -480 0
547 236 -70 0
-2 -483 -198 0
-142 337 -327 0
-258 -504 543 0
-199 -595 455 0
263 219 -262 0
-407 -291 -496 0
377 -164 -509 0
230 76 121 0
-563 279 557 0
423 -488 -520 0
268 249 -238 0
-156 51 -95 0
-505 -298 443 0
48 -324 340 0
-554 325 -213 0
-33 480 56 0
127 415 517 0
-446 -73 570 0
-399 532 160 0
399 19 525 0
-434 573 579 0
427 -58 -380 0
579 302 199 0
-77 -46 -25 0
-503 58 -181 0
-29 -133 158 0
219 -198 -370 0
366 552 89 0
-300 587 177 0
555 270 308 0
-186 112 362 0
528 220 -388 0
-398 -26 -114 0
398 501 546 0
101 32 -405 0
-173 440 351 0
277 -20 117 0
80 -76 105 0
541 -178 -303 0
198 505 544 0
-256 -547 -123 0
-151 138 465 0
-311 -236 516 0
-6 447 293 0
-524 -424 24 0
-275 352 59 0
-114 -210 -455 0
449 68 -114 0
65 171 202 0
-195 171 -69 0
22 -541 -307 0
-300 239 437 0
-408 40 -211 0
21 -69 -24 0
-587 581 195 0
-509 74 -334 0
-307 6 238 0
318 84 93 0
-594 101 188 0
96 -2 367 0
-172 277 422 0
451 313 255 0
107 77 377 0
-574 -70 440 0
107 -493 -245 0
-262 273 -381 0
-364 -545 556 0
41 6 -502 0
-433 260 -112 0
190 199 -68 0
425 382 -597 0
-16 -492 -67 0
-531 -591 481 0
-268 -285 93 0
-340 -27 282 0
142 293 -53 0
-199 582 -444 0
13 -587 104 0
503 -265 241 0
22 291 -101 0
256 316 519 0
86 451 -30 0
-379 -18 -250 0
-487 461 281 0
297 299 -274 0
422 -402 -209 0
-563 -527 382 0
99 380 -101 0
404 -168 5 0
-239 -304 -539 0
205 123 221 0
514 -359 -470 0
133 -185 -124 0
592 408 554 0
329 -59 -245 0
-144 -127 -540 0
430 -118 -42 0
460 -259 -356 0
230 289 -192 0
-68 544 444 0
485 600 267 0
446 528 596 0
146 -193 -340 0
108 -335 83 0
-103 504 -473 0
569 122 -142 0
378 -284 457 0
-580 330 -77 0
-522 -34 -144 0
-72 -452 213 0
416 -8 -273 0
-37 594 3 0
-195 -596 62 0
195 248 474 0
-24 -592 -518 0
-438 -126 -287 0
589 -358 153 0
484 467 -188 0
296 -58 -593 0
220 -178 -273 0
-492 418 220 0
-394 -246 302 0
46 -555 272 0
-276 146 287 0
135 473 211 0
156 301 -225 0
25 -409 35 0
-348 430 -273 0
260 311 19 0
538 181 327 0
38 401 552 0
-434 547 413 0
-356 576 164 0
8 180 596 0
77 -511 -460 0
-505 438 -564 0
-27 405 147 0
527 -402 -578 0
546 -346 -11 0
48 -169 -435 0
-28 590 -594 0
-408 -259 214 0
-584 300 49 0
-521 -175 367 0
284 -270 -315 0
425 438 409 0
378 493 -131 0
65 187 40 0
-259 265 151 0
-394 -175 567 0
83 -281 95 0
-497 412 298 0
-473 10 321 0
-145 -511 -165 0
-286 295 -15 0
-311 -29 194 0
-422 -271 191 0
-345 -21 256 0
353 329 105 0
-419 -131 1 0
-320 -571 -173 0
15 299 -284 0
-94 539 89 0
263 322 -367 0
-20 577 -483 0
575 -153 -435 0
-387 -424 206 0
310 -216 400 0
-466 432 260 0
329 75 207 0
-199 -356 -332 0
-161 -382 -381 0
138 289 -595 0
-485 550 -561 0
-497 388 -58 0
440 76 278 0
-514 402 -161 0
520 -598 7 0
575 477 -143 0
-49 356 -252 0
-247 583 323 0
160 218 408 0
250 392 429 0
-195 -340 50 0
-39 -555 48 0
-84 -229 286 0
-502 550 190 0
-345 86 115 0
15 -43 314 0
76 194 -187 0
415 261 -277 0
-203 233 21 0
61 361 62 0
-579 131 393 0
-57 -272 544 0
174 436 149 0
45 -249 587 0
-512 556 -233 0
-179 -508 -263 0
-200 -471 -56 0
472 249 -354 0
-475 260 -592 0
511 -178 -428 0
558 -72 279 0
119 -313 23 0
-548 -545 20 0
-212 -557 374 0
-590 -132 268 0
-409 374 -412 0
512 -12 396 0
-358 450 499 0
-473 -261 64 0
-234 550 180 0
-445 216 -550 0
-232 239 -120 0
-206 273 -393 0
-316 -494 457 0
-518 -539 -527 0
439 -424 413 0
112 -321 -474 0
365 21 60 0
177 573 541 0
117 -13 167 0
183 228 -221 0
27 -225 204 0
-66 58 -346 0
342 499 -41 0
-171 366 596 0
-532 427 12 0
353 553 5 0
-344 548 -339 0
295 8 -220 0
576 -545 479 0
-382 -44 341 0
84 -51 103 0
-330 420 -322 0
507 376 583 0
338 564 566 0
-526 397 36 0
239 363 -424 0
294 325 -292 0
185 -536 -502 0
-379 -201 225 0
-209 167 540 0
-192 254 -335 0
-437 73 429 0
524 112 276 0
217 448 -478 0
-19 60 -564 0
-294 262 -421 0
-496 554 -318 0
9 348 471 0
-560 -272 -284 0
182 -344 -360 0
10 464 526 0
-237 -471 -35 0
539 553 -3 0
94 426 121 0
384 -532 -550 0
-179 275 -298 0
-104 -450 525 0
158 -126 557 0
-26 -497 154 0
-270 -573 -28 0
259 -351 -200 0
-49 -494 -149 0
-74 272 346 0
-422 154 -416 0
57 -302 191 0
187 -470 -199 0
131 -353 399 0
115 -480 346 0
7 262 235 0
-570 -111 546 0
85 -113 -419 0
482 206 227 0
-418 -513 571 0
-125 -410 -415 0
336 -22 -338 0
498 425 -564 0
25 -70 270 0
516 564 -230 0
318 210 -83 0
569 288 -574 0
108 381 409 0
-221 -340 60 0
373 -587 495 0
-586 -258 -593 0
-390 206 -466 0
183 236 428 0
107 316 27 0
77 -458 263 0
-24 -474 -232 0
190 127 442 0
-252 -189 153 0
-161 -581 -421 0
-396 394 282 0
-213 -165 -520 0
335 226 -330 0
363 562 404 0
192 -397 -365 0
-422 571 -345 0
-13 -196 449 0
-101 488 291 0
296 137 237 0
467 378 245 0
344 -444 61 0
-12 371 320 0
-33 441 369 0
-108 488 -495 0
8 -186 332 0
-145 356 583 0
169 -378 -590 0
-298 -455 38 0
-308 153 -199 0
-516 325 589 0
536 76 -202 0
107 -548 -448 0
293 -509 -558 0
31 47 228 0
514 519 -235 0
-165 307 183 0
394 -70 202 0
403 -544 58 0
200 382 337 0
-137 389 94 0
130 -165 35 0
-410 224 427 0
-92 348 -133 0
303 403 -79 0
123 280 127 0
555 -182 -239 0
170 -182 314 0
572 -544 238 0
11 451 535 0
452 -173 -125 0
283 -395 -396 0
-495 -362 -595 0
-240 521 483 0
-578 -183 -340 0
-567 -155 -235 0
72 -351 355 0
96 -213 -435 0
149 -245 331 0
172 -447 430 0
-430 505 -377 0
-160 -583 158 0
-161 -54 -543 0
-591 -411 57 0
556 246 -413 0
-329 161 -587 0
-97 -268 -64 0
-566 -107 4 0
439 -291 -188 0
-322 198 244 0
-363 54 -212 0
236 -494 93 0
420 401 117 0
39 533 541 0
450 -354 329 0
-529 -128 -462 0
249 -180 153 0
474 -48 -344 0
330 -107 100 0
-380 -28 180 0
431 248 -48 0
94 249 -19 0
491 207 -241 0
-21 554 385 0
-249 -255 221 0
-17 -330 436 0
-379 258 454 0
310 -70 110 0
-585 469 548 0
106 -146 37 0
-545 311 -348 0
-362 -262 578 0
314 102 -121 0
535 150 -570 0
186 434 559 0
525 99 35 0
-413 403 71 0
126 -553 -485 0
-437 -470 -498 0
-429 120 -341 0
135 224 550 0
-597 -168 513 0
167 -94 144 0
564 -407 444 0
-334 -268 341 0
22 -263 -214 0
248 76 -476 0
-246 -262 -447 0
-125 75 -580 0
-68 202 -379 0
483 179 -446 0
-18 -194 304 0
562 79 52 0
337 425 107 0
420 -110 -387 0
-395 180 -573 0
12 426 381 0
467 -493 -277 0
580 469 -522 0
-444 280 457 0
-512 -572 386 0
377 39 301 0
-450 348 -565 0
-451 -65 438 0
345 -568 -400 0
-401 515 474 0
-136 352 -429 0
12 495 341 0
-199 586 -518 0
152 -131 555 0
339 -234 -168 0
-516 9 -24 0
484 430 -498 0
47 -212 -154 0
99 60 -222 0
230 516 -30 0
207 -68 -388 0
-570 126 -305 0
-509 409 52 0
-449 -160 -101 0
-593 -504 -153 0
286 506 250 0
581 334 499 0
-531 -436 -521 0
277 -47 361 0
42 -104 357 0
-536 -365 -109 0
297 193 589 0
380 -84 -561 0
288 -432 -125 0
-87 12 -167 0
-538 240 -233 0
60 342 456 0
-385 -117 375 0
523 60 304 0
283 -398 -192 0
-531 382 -69 0
160 446 -253 0
433 -285 -524 0
451 -24 -184 0
125 189 -347 0
-402 262 -107 0
65 -88 -222 0
-260 -556 -81 0
-414 353 -426 0
282 -468 558 0
306 137 -222 0
150 456 557 0
-55 -5 319 0
-119 -452 544 0
47 -458 -197 0
-464 111 270 0
-56 -489 496 0
-406 -214 -295 0
168 546 595 0
-36 374 114 0
-151 167 -485 0
504 -241 59 0
-538 245 140 0
-20 -432 -50 0
112 595 -455 0
485 135 -53 0
-131 -452 250 0
-564 -547 163 0
-544 -157 -423 0
418 175 -223 0
-413 28 -90 0
542 187 130 0
581 395 -473 0
-125 453 -339 0
425 -51 -339 0
287 377 88 0
301 -468 196 0
-68 -217 573 0
-73 444 65 0
-98 596 122 0
-461 -115 -106 0
541 -372 187 0
176 -471 322 0
315 -553 410 0
299 331 -561 0
464 -479 120 0
-350 -216 405 0
-448 149 -517 0
83 129 149 0
134 -22 470 0
-570 230 231 0
-586 -136 382 0
-295 132 -5 0
541 -374 -42 0
232 -489 378 0
211 -7 186 0
-588 -562 -192 0
413 12 361 0
81 599 316 0
-140 -186 -555 0
-138 -365 -471 0
36 578 -360 0
-508 -341 498 0
-19 315 -437 0
-536 -9 -133 0
-57 134 537 0
475 417 -569 0
164 296 425 0
-480 429 46 0
-407 -22 90 0
234 -135 -342 0
405 87 310 0
-577 526 47 0
-43 -26 596 0
-286 155 186 0
60 401 366 0
402 -158 151 0
511 -73 -140 0
572 -575 -120 0
-593 354 -476 0
462 -95 189 0
21 -530 155 0
-382 -355 -403 0
-22 -416 402 0
529 63 -272 0
-468 -256 251 0
-538 -91 -129 0
196 -385 455 0
-519 291 361 0
-434 -281 165 0
-186 -139 421 0
188 -51 -474 0
396 -294 -313 0
-22 -425 -47 0
251 220 -368 0
564 97 -478 0
363 496 591 0
196 81 -225 0
-468 -192 514 0
578 130 -151 0
-77 -150 154 0
293 -587 -154 0
-519 267 42 0
-460 257 444 0
-159 130 -453 0
-475 -98 -208 0
183 -156 -224 0
-45 -472 -521 0
97 -46 504 0
275 -443 -171 0
-270 -41 439 0
7 -585 -34 0
-12 406 201 0
349 406 148 0
-45 -395 -243 0
150 -240 -154 0
-518 -120 159 0
-221 -500 -313 0
41 195 -10 0
561 260 83 0
-236 -13 586 0
-262 -296 394 0
480 -141 -350 0
-593 264 -480 0
-110 -53 -354 0
69 427 -417 0
-566 442 505 0
261 -539 224 0
-210 122 581 0
70 536 276 0
500 261 -488 0
135 -276 434 0
436 -517 154 0
-42 205 -270 0
-495 -591 -101 0
-187 231 587 0
544 -565 -18 0
-187 343 138 0
545 -409 -548 0
-183 -90 204 0
-58 -32 588 0
124 78 370 0
-494 98 -175 0
-303 -390 585 0
314 -433 -273 0
-505 85 446 0
91 -541 243 0
-416 93 -239 0
368 21 369 0
175 397 205 0
424 227 -224 0
52 60 71 0
34 -582 -277 0
-406 -545 76 0
-203 -361 -218 0
323 -396 -297 0
-322 597 277 0
192 -180 -383 0
492 -542 -91 0
-575 524 -124 0
-424 -479 -76 0
-176 64 388 0
-460 -177 66 0
-507 422 536 0
557 -443 558 0
-300 47 -18 0
511 377 200 0
-567 -517 -429 0
-511 -406 448 0
-11 595 -566 0
555 -448 -357 0
18 97 -187 0
-380 30 -511 0
-149 -186 316 0
396 364 -149 0
-552 -345 533 0
-242 -522 -209 0
225 328 169 0
-129 499 -571 0
35 105 -432 0
-391 -568 174 0
392 -109 243 0
-166 167 349 0
332 341 107 0
-544 -504 -561 0
-84 -370 195 0
135 -198 -17 0
98 -29 50 0
294 -1 368 0
360 9 200 0
530 365 93 0
-21 -152 -153 0
96 141 -338 0
264 24 -235 0
-509 -568 69 0
-525 294 403 0
-539 -467 -221 0
122 349 -199 0
266 -135 154 0
393 368 -237 0
350 -552 440 0
577 -270 76 0
-192 -160 -182 0
488 316 56 0
-388 -583 -31 0
-188 134 103 0
543 140 -384 0
-101 -396 -481 0
180 -299 494 0
-319 259 525 0
-23 402 -198 0
499 -338 -496 0
-357 -452 94 0
368 -348 585 0
-38 405 -117 0
444 -527 479 0
-267 -419 157 0
450 -314 -500 0
-430 339 -107 0
18 220 275 0
433 -100 -586 0
75 374 574 0
-59 518 -342 0
-281 473 136 0
-333 173 -122 0
-287 81 143 0
18 -186 431 0
263 93 353 0
258 208 316 0
-349 -378 -560 0
168 -161 -187 0
76 440 451 0
482 -100 -347 0
-391 107 22 0
-250 -143 -255 0
-522 272 143 0
-103 381 89 0
-195 1 -130 0
363 -281 -388 0
284 -559 358 0
11 -38 298 0
263 516 580 0
463 320 -99 0
-335 -140 221 0
269 -199 184 0
-554 -140 -392 0
345 124 -13 0
174 -359 585 0
-17 425 -323 0
117 -397 -281 0
343 105 -597 0
541 -380 292 0
397 -258 313 0
-161 -102 -112 0
51 -529 85 0
-574 31 20 0
-276 -14 -547 0
-35 556 557 0
-293 -318 -433 0
-467 499 -571 0
-385 145 -251 0
517 306 36 0
345 -42 -426 0
15 214 464 0
373 -139 207 0
-288 590 -299 0
394 -445 76 0
-119 93 -32 0
338 511 -153 0
143 -111 70 0
-271 258 -349 0
353 -547 -456 0
-246 339 132 0
585 102 367 0
-532 -449 -145 0
405 285 444 0
-520 465 562 0
-237 -595 582 0
279 -290 -241 0
-19 326 339 0
-387 -451 445 0
-251 147 387 0
279 -8 117 0
-333 -110 500 0
439 -380 -476 0
389 554 421 0
-358 347 -8 0
294 472 553 0
503 243 -40 0
431 -475 -286 0
435 48 -52 0
-552 -316 -521 0
138 513 278 0
224 74 236 0
591 -171 574 0
382 -141 -388 0
-415 51 382 0
-327 333 -306 0
125 -402 -258 0
-497 -461 173 0
166 62 368 0
-154 -450 -564 0
597 133 99 0
296 -66 -494 0
206 55 599 0
-256 1 248 0
-384 -342 241 0
-359 300 449 0
-510 -121 167 0
-523 -284 91 0
430 -569 68 0
-250 -15 -213 0
-325 -92 -435 0
439 -342 469 0
431 -153 -202 0
-402 -235 -449 0
138 -318 -513 0
415 175 -499 0
259 -253 -127 0
246 -506 -436 0
-58 90 278 0
-110 -117 -599 0
209 -383 -95 0
-194 544 -500 0
275 599 -124 0
-42 389 -81 0
-306 -526 -314 0
365 44 -116 0
555 -291 247 0
79 -195 33 0
513 -421 -414 0
-229 -398 521 0
259 214 125 0
347 214 137 0
-443 -218 -268 0
548 91 244 0
-524 -589 562 0
-248 483 225 0
489 37 -475 0
-574 -81 -192 0
-372 -5 175 0
-352 -367 573 0
525 391 524 0
256 274 312 0
-171 -14 554 0
385 -368 439 0
72 490 157 0
-357 28 484 0
-366 539 365 0
469 185 -142 0
-583 -7 -35 0
569 -52 458 0
-550 -503 -123 0
9 -383 98 0
338 -593 229 0
-285 -350 -181 0
520 374 -152 0
151 297 -348 0
-365 310 439 0
-222 -512 -464 0
-182 369 527 0
355 198 -242 0
-293 590 245 0
154 -221 -114 0
-44 -399 183 0
20 -287 -195 0
240 -589 274 0
-100 112 442 0
-318 -534 283 0
555 -398 595 0
-338 185 222 0
507 115 555 0
-406 83 373 0
434 303 -206 0
-300 469 -346 0
17 -236 -441 0
-295 -300 366 0
12 167 -137 0
297 -433 256 0
16 61 -530 0
211 531 84 0
-249 499 212 0
84 136 539 0
460 -31 -419 0
-210 134 -275 0
-582 -568 -18 0
574 334 -61 0
-137 442 291 0
-471 -375 -192 0
-385 422 -390 0
-266 595 -162 0
-317 -509 -52 0
105 532 -256 0
-451 -292 -123 0
-536 543 71 0
-73 -558 303 0
125 127 299 0
274 493 362 0
483 -92 298 0
414 -128 145 0
576 345 365 0
-387 -589 -402 0
-13 -258 419 0
314 -57 -333 0
408 369 -238 0
461 -211 413 0
164 5 418 0
-225 -413 -193 0
377 417 68 0
-543 203 -94 0
173 -149 348 0
-576 348 539 0
-548 226 -300 0
-159 267 -402 0
220 -458 -342 0
91 -464 237 0
-407 -118 312 0
522 -191 -146 0
-225 503 325 0
-38 232 -129 0
-106 266 538 0
-394 28 400 0
-200 209 -78 0
184 6 68 0
-148 309 -523 0
-254 -111 68 0
189 -21 321 0
26 -168 -169 0
-30 -287 -35 0
219 -169 332 0
-164 -123 -144 0
-365 -293 118 0
-416 100 -267 0
-344 443 -166 0
-263 241 -315 0
268 -481 426 0
526 577 87 0
-174 398 -521 0
-222 -261 -488 0
61 322 -464 0
-543 191 -46 0
-526 467 -126 0
219 -552 -528 0
467 -238 -349 0
-133 153 546 0
-230 51 591 0
30 264 -412 0
-44 457 30 0
-266 283 -503 0
339 116 557 0
534 459 -598 0
28 184 194 0
-401 -262 275 0
422 -180 98 0
-209 330 -47 0
-240 74 14 0
-247 -276 -169 0
-585 144 547 0
-253 125 -479 0
120 134 132 0
407 -341 -21 0
-468 -21 200 0
478 213 -267 0
-405 -600 -200 0
-292 280 374 0
402 82 -563 0
490 567 329 0
-536 -197 -194 0
403 531 -460 0
-480 20 395 0
108 35 372 0
520 152 578 0
104 -32 -414 0
-20 -478 -513 0
-82 -94 536 0
-254 468 -504 0
587 -176 -118 0
-93 -353 489 0
-540 -534 428 0
-360 -6 -447 0
383 -357 -415 0
-99 217 -28 0
-584 -297 -153 0
-504 -236 -259 0
-530 198 421 0
406 169 516 0
184 -324 149 0
-442 -151 -398 0
-341 191 -110 0
72 -213 316 0
-516 -148 -174 0
-465 -9 302 0
-10 367 -570 0
331 340 -209 0
85 -26 -360 0
-136 318 -160 0
138 131 108 0
44 -286 -415 0
-207 -192 -355 0
-565 -85 310 0
-284 38 -254 0
-446 588 -536 0
-446 -129 -221 0
-172 -5 521 0
450 -530 -296 0
-198 -87 -140 0
201 90 308 0
37 -313 527 0
-418 -395 -318 0
-486 477 -557 0
392 -539 -149 0
-219 270 537 0
222 -23 215 0
567 -351 316 0
-415 -288 -287 0
570 372 -552 0
438 497 187 0
368 -82 -204 0
501 -260 -431 0
-102 218 -406 0
-310 -548 -301 0
-104 -90 132 0
309 400 11 0
-564 -591 14 0
10 3 367 0
-474 -128 -270 0
-81 -446 1 0
-110 116 178 0
229 -59 -143 0
178 -540 527 0
-265 -303 -481 0
-377 122 309 0
-331 10 -553 0
-342 213 458 0
34 -352 -351 0
145 -198 6 0
-217 503 -377 0
39 -125 517 0
170 -446 394 0
-596 348 86 0
57 282 -146 0
354 463 369 0
-445 -324 -245 0
280 -573 153 0
325 -365 -111 0
-486 114 355 0
-113 14 -232 0
448 -522 560 0
577 -166 -579 0
-140 -154 59 0
162 -368 -364 0
-493 462 -42 0
-138 -231 -243 0
132 29 -553 0
30 19 -328 0
252 -373 -186 0
333 -370 203 0
-176 245 -165 0
-433 -48 -551 0
-507 449 -383 0
304 244 -45 0
219 -382 541 0
-51 502 63 0
447 -216 -294 0
369 465 293 0
-380 -503 402 0
537 -143 165 0
-416 -424 470 0
72 -473 180 0
-154 -125 -512 0
-152 -253 -161 0
-95 548 -352 0
170 -528 -284 0
-249 -530 100 0
294 -355 -56 0
373 428 180 0
-261 56 -40 0
16 -444 -362 0
497 -195 466 0
376 21 -72 0
254 257 184 0
-178 -591 165 0
-456 69 -16 0
-198 81 -355 0
-463 -254 -52 0
-386 -207 275 0
-21 -316 518 0
-124 -157 595 0
272 528 594 0
-369 212 282 0
339 211 274 0
61 383 -546 0
514 170 -144 0
-535 -566 -377 0
-431 -594 569 0
495 517 489 0
-324 370 -294 0
572 519 -449 0
-285 547 147 0
-240 -96 403 0
-79 -110 55 0
-527 -282 109 0
353 -563 290 0
-227 33 -449 0
-587 222 -254 0
-106 -80 471 0
118 256 343 0
564 -592 65 0
199 107 356 0
240 539 378 0
442 583 -349 0
262 -92 -243 0
392 95 466 0
-468 -369 223 0
-273 48 -503 0
375 471 507 0
338 597 558 0
480 509 424 0
264 -8 -205 0
39 40 -12 0
316 387 525 0
-595 -306 -522 0
373 372 -554 0
159 -372 110 0
228 391 63 0
-67 -151 -238 0
-22 -299 -168 0
403 42 -136 0
200 -352 498 0
118 -85 52 0
475 6 -13 0
169 139 -519 0
-445 -269 419 0
-10 -76 -195 0
-272 38 -589 0
318 -40 -489 0
380 -399 414 0
-386 358 310 0
19 36 240 0
-43 -353 446 0
471 -24 276 0
-31 -134 139 0
-249 270 -242 0
430 552 20 0
273 422 173 0
414 -403 -59 0
44 68 560 0
306 -38 -93 0
-75 -63 -39 0
389 -190 -136 0
507 228 -495 0
451 398 103 0
-212 -197 -94 0
309 -583 -7 0
-406 -330 -215 0
-572 -106 -377 0
-389 -547 187 0
379 -345 550 0
-114 275 123 0
-286 -219 173 0
54 60 498 0
341 -563 214 0
539 -489 -315 0
127 -222 213 0
297 -411 -300 0
306 -298 276 0
516 -108 -224 0
438 -114 -313 0
-342 -135 537 0
-427 -136 106 0
525 476 230 0
8 247 -546 0
320 374 -146 0
-331 543 -71 0
372 -428 100 0
-188 394 326 0
111 345 80 0
461 -580 -483 0
-116 202 405 0
392 545 134 0
421 -237 572 0
-292 241 -113 0
-523 -394 546 0
-539 -14 573 0
194 -510 580 0
-533 295 -213 0
-266 -600 -156 0
-432 260 362 0
-47 -521 344 0
-391 -504 -48 0
229 186 -161 0
-538 364 471 0
2 -236 543 0
-391 -343 22 0
-582 392 -359 0
-288 429 -47 0
376 586 85 0
170 211 452 0
-174 277 -332 0
-152 -253 -497 0
-13 -424 -499 0
73 -473 -416 0
-342 -234 115 0
-268 487 -426 0
-451 -440 243 0
597 -374 323 0
462 567 -148 0
445 -481 194 0
-494 316 526 0
-313 288 364 0
-473 258 86 0
65 -278 446 0
-400 -411 -351 0
-110 215 8 0
-443 5 75 0
10 -575 119 0
-164 233 -274 0
445 151 -103 0
-518 -77 -385 0
277 -543 221 0
-20 -103 -588 0
94 -532 510 0
-36 317 346 0
-493 -5 280 0
-130 -9 -123 0
190 322 440 0
199 -65 473 0
543 -297 -40 0
-380 151 138 0
-247 -551 232 0
536 498 -212 0
44 67 -74 0
-422 349 539 0
-571 140 377 0
95 -403 -376 0
-136 33 -296 0
-493 -485 570 0
186 -234 -580 0
466 -218 -371 0
450 353 379 0
-140 318 571 0
305 331 -286 0
-442 -210 85 0
-335 -291 -197 0
-152 -517 436 0
579 -356 444 0
-273 -346 442 0
579 -14 -250 0
225 -34 -413 0
457 -172 416 0
-446 -128 20 0
-525 -82 102 0
-166 485 -507 0
-282 -197 146 0
456 -385 -396 0
-397 -580 5 0
523 359 93 0
433 -449 131 0
-265 -218 180 0
225 304 -274 0
-289 373 -441 0
-349 -436 144 0
447 -380 281 0
-162 -544 -452 0
421 -376 -56 0
138 419 -519 0
451 -444 -26 0
220 -250 -16 0
-280 -154 544 0
-232 457 180 0
376 254 -91 0
105 -247 570 0
80 90 565 0
-26 367 180 0
331 425 541 0
-243 483 -210 0
86 321 -196 0
-257 595 -465 0
535 445 276 0
218 307 -89 0
-76 277 173 0
560 -233 523 0
173 -256 50 0
-412 313 78 0
496 -277 15 0
502 508 -73 0
-298 336 558 0
561 -219 181 0
-203 314 -18 0
-9 323 -103 0
357 200 127 0
-590 297 102 0
296 -480 -537 0
-311 238 -61 0
-284 -498 235 0
587 -458 480 0
-182 -385 237 0
-483 -368 416 0
368 -535 -124 0
251 -93 187 0
-310 467 582 0
-97 451 137 0
-204 -229 399 0
575 313 152 0
-19 -184 -437 0
-142 248 352 0
117 52 -217 0
200 -244 443 0
-599 544 273 0
544 69 -571 0
-312 423 -409 0
295 500 82 0
17 -204 31 0
-296 196 370 0
188 -438 -61 0
-7 -577 157 0
-257 73 -258 0
-240 20 64 0
-524 520 547 0
485 213 -85 0
241 121 532 0
320 -19 261 0
-413 288 114 0
-45 -266 37 0
-375 -427 416 0
-125 263 259 0
-79 272 173 0
-70 -65 130 0
-403 57 527 0
-353 520 -60 0
48 497 -460 0
-321 -227 -81 0
462 -149 135 0
480 -159 -416 0
-519 -255 -574 0
9 97 -269 0
310 543 -282 0
68 193 -406 0
-374 202 -339 0
-39 -13 63 0
484 -511 207 0
354 278 -275 0
466 331 82 0
169 119 -438 0
-221 458 -309 0
353 -524 -493 0
-556 154 -38 0
-125 -169 -137 0
-596 547 -158 0
8 -394 121 0
-453 38 407 0
-198 -515 -149 0
256 -187 439 0
78 -520 441 0
130 100 -457 0
-555 266 -573 0
553 569 493 0
-431 177 -42 0
595 -81 -176 0
21 23 -242 0
-524 -196 118 0
594 25 40 0
-577 160 -442 0
-256 564 -391 0
224 557 357 0
484 350 494 0
-70 220 -34 0
348 261 406 0
471 195 474 0
-292 -542 261 0
427 -353 -376 0
-157 253 -169 0
14 -81 488 0
-532 219 453 0
-158 418 -358 0
108 -332 463 0
-294 84 511 0
23 -593 -213 0
-140 210 332 0
-238 -120 323 0
408 -600 296 0
447 -288 188 0
339 -570 -260 0
-151 145 202 0
494 115 364 0
398 -126 508 0
554 359 -330 0
276 224 225 0
-140 447 229 0
-85 -55 26 0
312 -476 -150 0
163 295 -156 0
-359 -483 -347 0
-173 -419 324 0
161 -86 415 0
-64 541 530 0
-361 -150 569 0
362 233 -164 0
-264 -595 -331 0
-138 -141 -238 0
-119 425 306 0
479 140 -253 0
529 -442 348 0
542 146 -587 0
216 175 43 0
123 4 -599 0
369 37 -206 0
383 433 -482 0
-162 -130 -257 0
-525 50 401 0
-304 504 -57 0
410 515 310 0
-157 545 -482 0
352 -159 -545 0
82 -185 544 0
-221 345 -540 0
54 -299 -144 0
151 -540 -488 0
-230 -280 -232 0
-205 -331 599 0
335 -547 -574 0
100 469 -117 0
338 -88 412 0
-593 -448 -255 0
151 -107 267 0
301 342 299 0
199 -214 193 0
468 -498 327 0
420 196 -92 0
-251 -282 458 0
184 273 110 0
-328 -25 465 0
-91 -257 587 0
153 58 -257 0
168 -468 416 0
-226 540 -299 0
339 -536 482 0
-498 276 -87 0
-23 -300 384 0
164 -82 471 0
-139 -183 -392 0
-7 407 61 0
-258 -566 -491 0
-268 -241 169 0
-290 -320 -504 0
209 15 -584 0
276 -420 -40 0
465 -72 421 0
213 133 -338 0
-517 -217 -204 0
390 -155 35 0
-348 -378 177 0
-461 -522 -495 0
-415 378 -266 0
-479 581 -410 0
226 419 584 0
123 354 479 0
571 -455 -156 0
44 -585 306 0
45 -573 311 0
132 183 540 0
387 481 -564 0
99 -26 -330 0
247 -468 23 0
-368 518 -280 0
-581 588 529 0
-501 582 423 0
465 337 -511 0
-21 -335 -299 0
472 388 466 0
-288 -173 -85 0
-197 287 -178 0
-268 175 141 0
-542 138 -437 0